pre,
code {
  font-size: 0.85;
  font-family: Monaco, Menlo, Consolas, "Courier New", monospace;
}
code {
  background: @pale2Color;
}